P := W
    implements []
t